postulate A : Set
